Semigroups with identity on $E^3$.
نویسندگان
چکیده
منابع مشابه
Finite Semigroups with Infinite Irredundant Identity Bases
A basis of identities Σ for a semigroup S is a set of identities satisfied by S from which all other identities of S can be derived. The basis Σ is said to be irredundant (or irreducible) if no proper subset of Σ is a basis for the identities of S. If the basis Σ is finite, then it is always possible to extract an irredundant basis, however if Σ is infinite then it is conceivable that no irredu...
متن کاملThe Identity Checking Problem for Semigroups
In this paper, we consider the identity checking problem for semi-groups. We propose a genetic algorithm to solve the problem. There is a considerable interest in investigation of semigroup identities (see e.g. [1] – [4]). In particular, the identity checking problem for finite semigroups is extensively studied (see e.g. [5] and references in [5]). The identity checking problem in semigroup A i...
متن کاملComplexity of the Identity Checking Problem for Finite Semigroups
We prove that the identity checking problem in a finite semigroup S is co-NP-complete whenever S has a nonsolvable subgroup or S is the semigroup of all transformations on a 3-element set. 1 Motivation and Main Results Many basic algorithmic questions in algebra whose decidability is well known and/or obvious give rise to fascinating and sometimes very hard problems if one looks for the computa...
متن کاملOn Transformation Semigroups Which Are Bq-semigroups
A semigroup whose bi-ideals and quasi-ideals coincide is called a -semigroup. The full transformation semigroup on a set X and the semigroup of all linear transformations of a vector space V over a field F into itself are denoted, respectively, by T(X) and LF(V). It is known that every regular semigroup is a -semigroup. Then both T(X) and LF(V) are -semigroups. In 1966, Magill introduced and st...
متن کاملOn transformation semigroups which are ℬ-semigroups
A semigroup whose bi-ideals and quasi-ideals coincide is called a -semigroup. The full transformation semigroup on a set X and the semigroup of all linear transformations of a vector space V over a field F into itself are denoted, respectively, by T(X) and LF(V). It is known that every regular semigroup is a -semigroup. Then both T(X) and LF(V) are -semigroups. In 1966, Magill introduced and st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Michigan Mathematical Journal
سال: 1973
ISSN: 0026-2285
DOI: 10.1307/mmj/1029001062